$\forall$${\it the\_es}$:ES, $e$, ${\it e'}$, $y$:E. ${\it e'}$ before $y$ $\in$ before($e$) $\Leftrightarrow$ (${\it e'}$ $<$loc $y$) \& ($y$ $<$loc $e$)